41. Analysis and Optimization of Prismatic and Axisymmetric Shell Structures
پدیدآورنده : by Ernest Hinton, Johann Sienz, Mustafa Özakça.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civil engineering.,Engineering.,Mechanical engineering.,Mechanics, applied.
42. Analytical modeling of heterogeneous cellular networks :
پدیدآورنده : Sayandev Mukherjee, DOCOMO Innovations Inc, Palo Alto, CA.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cell phone systems.,Internetworking (Telecommunication),TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications.
43. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
44. Applications of the topological derivative method /
پدیدآورنده : Antonio André Novotny, [and 2 others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Topological dynamics.,Topological dynamics.
رده :
QA611
.
5
.
N68
2019
45. Applied Decision-Making :
پدیدآورنده : editors, Mauricio A. Sanchez, Leocundo Aguilar, Manuel Castañón-Puga and Antonio Rodríguez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making-- Mathematical models.,Decision making-- Simulation methods, Case studies.,Decision making-- Mathematical models.,Decision making-- Simulation methods.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA279
.
4
46. Applied Mathematics in Aerospace Science and Engineering
پدیدآورنده : edited by Angelo Miele, Attilio Salvetti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Engineering mathematics.,Engineering.,Mechanical engineering.
47. Applied Optimal Control Theory of Distributed Systems
پدیدآورنده : by K. A. Lurie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physics.
48. Applied parameter estimation for chemical engineers
پدیدآورنده : Peter Englezos, Nicolas Kalogerakis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical engineering -- Mathematical models.,Chemical engineering -- Statistical methods.,Parameter estimation.
رده :
TP155
.
2
.
M35
P484
2001
49. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
51. Batch Processing Systems Engineering :
پدیدآورنده : edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Chemical engineering.,Computer science.
رده :
TP155
.
75
E358
1996
52. Bio-inspired algorithms in PID controller optimization /
پدیدآورنده : Jagatheesan Kaliannan, Anand Baskaran, Nilanjan Dey, Amira S. Ashour.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cogeneration of electric power and heat.,Electric power systems-- Load dispatching-- Mathematics.,Interconnected electric utility systems-- Automation.,Mathematical optimization.,Nature-inspired algorithms.,PID controllers.,Cogeneration of electric power and heat.,Interconnected electric utility systems-- Automation.,Mathematical optimization.,Nature-inspired algorithms.,PID controllers.,TECHNOLOGY & ENGINEERING / Mechanical.
رده :
TK1007
.
K35
2018
53. Biosystems engineering /
پدیدآورنده : Ahindra Nag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biochemical engineering.,Systems engineering.,Biochemical engineering.,SCIENCE-- Biotechnology.,Systems engineering.
رده :
TP248
.
3
.
N34
2010eb
54. Chemical and catalytic reactor modeling :
پدیدآورنده : Milorad P. Duduković, editor ; Patrick L. Mills, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Catalysis-- Mathematical models, Congresses.,Chemical reactors-- Mathematical models, Congresses.
رده :
TP157
.
C33
1984
55. Combinatorial optimization in communication networks /
پدیدآورنده : edited by Maggie Xiaoyan Cheng, Yingshu Li, Ding-Zhu Du.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial optimization.,Telecommunication systems.,Combinatorial optimization.,Combinatorial optimization.,Informatique.,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication systems.,Telecommunication systems.
رده :
TK5102
.
5
.
C66
2006eb
56. Computational Mechanics '95
پدیدآورنده : edited by S. N. Atluri, G. Yagawa, Thomas Cruse.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Mechanics, applied.
57. Computational intelligence and big data analytics :
پدیدآورنده : Ch. Satyanarayana, Kunjam Nageswara Rao, Richard G. Bush.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data.,Computational intelligence.,Data mining.,Big Data.,Bioinformatics.,Biomedical Engineering/Biotechnology.,Information Systems Applications (incl. Internet),Mathematical Models of Cognitive Processes and Neural Networks.,Artificial intelligence.,Big data.,Biomedical engineering.,Computational intelligence.,COMPUTERS / General.,Data mining.,Databases.,Information retrieval.,Mathematical modelling.,Molecular biology.
رده :
Q342
58. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
59. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
60. Computer applications in the polymer laboratory :
پدیدآورنده : Theodore Provder, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Polymerization-- Data processing, Congresses.,Polymers-- Data processing, Congresses.
رده :
QD381
.
9
.
E4
C66
1986
